<html>
<head><meta charset="utf-8"><title>miri checkout · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html">miri checkout</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="151066593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151066593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jethro <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151066593">(Dec 07 2018 at 05:33)</a>:</h4>
<p>With the latest master, I'm having trouble updating the miri submodule:</p>
<div class="codehilite"><pre><span></span>$ git submodule update --init --recursive
fatal: reference is not a tree: 61f20761d3124f5a1b1caee8aa15637cc7f92d8e
Unable to checkout &#39;61f20761d3124f5a1b1caee8aa15637cc7f92d8e&#39; in submodule path &#39;src/tools/miri&#39;
</pre></div>


<p>Any ideas?</p>



<a name="151067075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151067075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jethro <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151067075">(Dec 07 2018 at 05:47)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/56307#issuecomment-445128716" target="_blank" title="https://github.com/rust-lang/rust/pull/56307#issuecomment-445128716">https://github.com/rust-lang/rust/pull/56307#issuecomment-445128716</a></p>



<a name="151086997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151086997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151086997">(Dec 07 2018 at 07:51)</a>:</h4>
<p>that's weird. I'll address it in 30mins when I arrive at a PC. Should be trivial</p>



<a name="151101733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151101733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151101733">(Dec 07 2018 at 10:25)</a>:</h4>
<p><span class="user-mention" data-user-id="138938">@Jethro</span> which git version are you using?</p>



<a name="151101829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151101829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151101829">(Dec 07 2018 at 10:27)</a>:</h4>
<p>it works fine locally and on CI...</p>



<a name="151101830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151101830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151101830">(Dec 07 2018 at 10:27)</a>:</h4>
<p>now the commit is in a branch in the repo</p>



<a name="151101831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151101831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151101831">(Dec 07 2018 at 10:27)</a>:</h4>
<p>it cannot be in master because it doesnt pass CI yet because it is waiting for a new nightly to happen and for some reason no nightly happened last night</p>



<a name="151101832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151101832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151101832">(Dec 07 2018 at 10:27)</a>:</h4>
<p>so <span class="user-mention" data-user-id="138938">@Jethro</span> could you try again?</p>



<a name="151101833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151101833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151101833">(Dec 07 2018 at 10:27)</a>:</h4>
<p>(context: the commit was in a PR but not in a branch in the repo, it might be old versions of git cannot fetch that)</p>



<a name="151102158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jethro <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102158">(Dec 07 2018 at 10:34)</a>:</h4>
<p>git version 2.7.4 (comes with Ubuntu 16.04)</p>



<a name="151102159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jethro <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102159">(Dec 07 2018 at 10:34)</a>:</h4>
<p>it seems to be resolved now (but I'm on mobile so not 100% sure)</p>



<a name="151102202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jethro <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102202">(Dec 07 2018 at 10:35)</a>:</h4>
<p>Shouldn't things land in master upstream before they are updated in rust master?</p>



<a name="151102636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102636">(Dec 07 2018 at 10:44)</a>:</h4>
<blockquote>
<p>git version 2.7.4 (comes with Ubuntu 16.04)</p>
</blockquote>
<p>yeah that's <em>ancient</em></p>



<a name="151102676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102676">(Dec 07 2018 at 10:45)</a>:</h4>
<blockquote>
<p>Shouldn't things land in master upstream before they are updated in rust master?</p>
</blockquote>
<p>that's not possible if upstream has CI, which is also desirable</p>



<a name="151102729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102729">(Dec 07 2018 at 10:46)</a>:</h4>
<p>if a change in rustc breaks a tool like miri, you have to land the rustc PR and the miri fix in <em>some</em> order</p>



<a name="151102738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jethro <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102738">(Dec 07 2018 at 10:46)</a>:</h4>
<p>got it</p>



<a name="151102741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20checkout/near/151102741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20checkout.html#151102741">(Dec 07 2018 at 10:46)</a>:</h4>
<p>and most tools (all, AFAIK) choose to require the tool to build against rustc master or nightly, meaning the rustc PR has to land first</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>